Model evolution and system evolution
نویسندگان
چکیده
In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural constraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional level means run-time behavior, dynamic semantics on intentional level describes model evolution in the system life cycle.
منابع مشابه
Increasing the Accuracy of Recommender Systems Using the Combination of K-Means and Differential Evolution Algorithms
Recommender systems are the systems that try to make recommendations to each user based on performance, personal tastes, user behaviors, and the context that match their personal preferences and help them in the decision-making process. One of the most important subjects regarding these systems is to increase the system accuracy which means how much the recommendations are close to the user int...
متن کاملOPTIMAL DESIGN OF WATER DISTRIBUTION SYSTEM USING CENTRAL FORCE OPTIMIZATION AND DIFFERENTIAL EVOLUTION
For any agency dealing with the design of the water distribution network, an economic design will be an objective. In this research, Central Force Optimization (CFO) and Differential Evolution (DE) algorithm were used to optimize Ismail Abad water Distribution network. Optimization of the network has been evaluated by developing an optimization model based on CFO and DE algorithm in MATLAB and ...
متن کاملA Hybrid Fire Fly and Differential Evolution Algorithm for Optimization of a Mixed Repairable and Non-Repairable System Reliability Problem
In this paper, a hybrid meta-heuristic approach is proposed to optimize the mathematical model of a system with mixed repairable and non-repairable components. In this system, repairable and non-repairable components are connected in series. Redundant components and preventive maintenance strategies are applied for non-repairable and repairable components, respectively. The problem is formulate...
متن کاملOverview of the Evolution Process of Student Assessment Methods in Medical Education: Report of the Change Process in Iran based on the 8-Step Model
Introduction: In the era of increasing development of electronic technology, using technology and making favorable changes in student assessment have a prominent role. The purpose of this study was to review the evolution process of student assessment methods in medical education and report its process in Iran based on the 8-step model) In Line with the Package for Medical Sciences Assessment S...
متن کاملResearch on Chaos Characteristic of Crack Evolution in Coal-rock Fracturing
Precisely describing the formation and evolution rules of coal-rock fracturing crack have great value on reservoir fracturing improvement and highly efficient mining of coal bed methane well. In this paper, a non-linear dynamic method is used to study crack damage evolution behavior of coal-rock fracturing. Considering distribution characteristics of natural cracks in coal-rock, and based on da...
متن کاملThe effect of Health System Evolution Plan on the performance indices in public hospitals in Iran
Background and Objectives: The Health System Evolution Plan was developed to improve quality and accessibility of health care services and reduce the costs to protect people from catastrophic out of pocket payments. The aim of current study is investigatation of Health System Evolution Plan effects on performance indices of governmental hospitals affiliated to Iran University o...
متن کامل